<?php echo url("foo"); ?>